Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
51	Implicitly-Typed Deadlock-Free Process Calculus Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2010-04-22 22:15:04
52	Genome Informatics 16(2): 215–Toward Integration of Systems Biology Formalism: The Gene Regulatory Networks Case Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:59 Process calculi Systems biology Bioinformatics Theoretical computer science Process calculus Gene regulatory network Systems science Differential equation Academia -calculus Stochastic Calculus
53	Wednesday, April 20, 2011 Registration: 8:00-9:00 • Registration opens Add to Reading List Source URL: fsen.ir Language: English - Date: 2011-03-09 05:00:02 Model checkers Model checking Coffee Break PAT Automata Process calculus Food and drink
54	Implicitly-Typed Deadlock-Free Process Calculus Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2010-03-15 02:28:28
55	Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson1 Simon J. Gay2 Rajagopal Nagarajan1 Ittoop Vergheese Puthoor2,3 Department of Computer Science, University of Warwick1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-04 05:01:44
56	Implicitly-Typed Deadlock-Free Process Calculus Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-04-16 22:50:40
57	Implicitly-Typed Deadlock-Free Process Calculus Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2010-03-15 02:28:28
58	Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:09 Theoretical computer science Logic in computer science Software engineering Formal methods Programming language semantics Models of computation Operational semantics Semantics Bisimulation Process calculus Programming language Transition system
59	Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:28 Connection Differential geometry Process calculi Theoretical computer science -calculus Valuation Bearing pressure Symbol
60	Stochastic Differential Equations Lecture notes for courses given at Humboldt University Berlin and University of Heidelberg Markus Reiß Add to Reading List Source URL: math.uni-heidelberg.de Language: English - Date: 2007-02-12 06:05:10 Statistical randomness Stochastic processes Stochastic calculus Martingale theory Stochastic differential equations Lvy processes Wiener process FeynmanKac formula Infinitesimal generator Semimartingale Brownian motion Stratonovich integral

UPDATE